Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems

Exception handling is a structuring technique that facilitates the design of systems by encapsulating the process of error recovery. In this paper, we present a systematic approach for incorporating exceptional behaviour in the development of component-based software. The premise of our approach is that components alone do not provide the appropriate means to deal with exceptional behaviour in an effective manner. Hence the need to consider the notion of collaborations for capturing the interactive behaviour between components, when error recovery involves more than one component. The feasibility of the approach is demonstrated in terms of the case study of the mining control system

Software Components, Architectures And Reuse J.ucs Special Issue

[No abstract available]1481179118

A Spl Infrastructure For Supporting Scientific Experiments In Petroleum Reservoir Research Field

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Computational resources are commonly used in the research field, in order to facilitate data and services sharing. The frequent study of new research methodologies, the software diversity, simulators and data involved in experiments, lead to the necessity of environments that provide facilities for technology use and matching. Aiming to support the software diversity, the proposed solution is a scientific workflow environment that allows the researchers to create their own personalized workflows, using components provided by the development team as well as developed by themselves, regardless of the language being used. The basis for this environment is a component based software product line. The proposed extractive method for the product line development is supported by a software reengineering framework and uses existing modeling techniques. One case study was performed to evaluate some aspects, including the components reuse enhancement and the workflow customization capability. This study case had a positive result, showing that the proposed solution allows the researchers to customize their workflows. © 2013 IEEE.7988CAPES,Conselho Nacional de Desenvolvimento Cientifico e Tecnologico (CNPq),Google,Governo Federal Brasil - Pais Rico Pais sem Pobreza,INES,Ministerio da Ciencia, Tecnologia e InovacaoConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Pallazi, D.C., (2010) Qdaontology - Abordagem para o Desenvolvimento de Ontologias Em E-science: Um Estudo de Caso Em Biologia, , Master's thesis, Universidade Federal de Juíz de Fora(2012) Portal UNISIM, , http://www.unisim.cepetro.unicamp.br/, Acesso em: 02 outDeelman, E., Gannon, D., Shields, M., Taylor, I., Workflows and e-science: An overview of workflow system features and capabilities (2009) Future Generation Computer Systems, 25 (5), pp. 528-540Ogasawara, E., Murta, L., Werner, C., Mattoso, M., Linhas de experimento: Reutilização e gerência de configuração em workflows científicos (2008) 2nd Wksp. on E-Science, pp. 31-40Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M., Form: A feature-oriented reuse method with domain-specific reference architectures (1998) Annals of Software Engineering, 5, pp. 143-168Cheesman, J., Daniels, J., (2001) UML Components, , Addison-WesleyKang, K., Kim, M., Lee, J., Kim, B., Feature-oriented re-engineering of legacy systems into product line assets - A case study (2005) Software Product Lines, pp. 45-56Ogasawara, E., Paulino, C., Murta, L., Werner, C., Mattoso, M., Experiment line: Software reuse in scientific workflows (2009) Scientific and Statistical Database Management, Ser. Lecture Notes in Computer Science, 5566, pp. 264-272. , M. Winslett, Ed. SpringerCosta, G.C.B., Braga, R., David, J.M.N., Campos, F., Arbex, W., PL-science: A scientific software product line (2013) Procedia Computer Science, 18, pp. 759-768(2012), http://www.mygrid.org.uk/, Acesso em: 27 julKang, K.C., Cohen, S., Hess, J., Novak, W., Peterson, S., Feature-oriented domain analysis (1990) CMU/SEI, Tech. Rep.Gomaa, H., (2004) Designing Software Product Lines with UML: From use Cases to Pattern-Based Software Architectures, , Addison WesleySochos, P., Riebisch, M., Philippow, I., The feature-architecture mapping (FArM) method for feature-oriented development of software product lines (2006) Proc. of the Annual IEEE Intl. Symposium and Wksp. on Engineering of Computer Based Systems, pp. 308-318. , IEEE Computer SocietyGayard, L.A., Rubira, C.M.F., Guerra, P.A.C., COSMOS*: A COmponent system MOdel for software architectures (2008) Instituto de Computação, UNICAMP, Tech. Rep. IC-08-04De Oliveira, D., Ogasawara, E., Seabra, F., Silva, V., Murta, L., Mattoso, M., GExpLine: A tool for supporting experiment composition (2010) Provenance and Annotation of Data and Processes, pp. 251-259. , SpringerAcher, M., Collet, P., Lahire, P., France, R., Managing variability in workflow with feature model composition operators (2010) Software Composition, pp. 17-33. , SpringerPetrel E&P Software Platform, , http://www.slb.com/services/software/geo/petrel.aspx/Foschiani, F.Y.S., (2012) Uma Abordagem de Linhas de Produtos de Software para Apoiar E-science, , Master's thesis, Instituto de Computação, UnicampKrueger, C.W., Easing the transition to software mass customization (2002) Intl. Wksp. on Software Product-Family Engineering, pp. 282-293. , SpringerKang, K., Kim, M., Lee, J., Kim, B., Feature-oriented re-engineering of legacy systems into product line assets - A case study (2005) Software Product Lines, pp. 45-56Berg, K., Bishop, J., Muthig, D., Tracing software product line variability: From problem to solution space (2005) Proc. of the Conf. of the SAICSIT. Republic of South Africa: Saicsit, pp. 182-19

Jaca: A Reflective Fault Injection Tool Based On Patterns

Jaca is a software fault injection tool that validates OO applications written in Java. Jaca's major goal is to inject faults using high-level programming features during runtime by corrupting attribute values, methods parameters or return values. Jaca's design was based on a set of patterns - the Fault Injection Pattern System. This pattern describes a generic architecture defined from recurrent design aspects present in most fault injection tools. The objective was to reduce tool development time while enhancing qualities such as portability, extensibility, reusability, efficiency and robustness. The paper presents the pattern set and its use in Jaca's development. An extension of Jaca to consider injection at assembly level is also presented to show how easy it is to add new features to the tool.483487Aidemark, J., Vinter, J., Folkesson, P., Karlsson, J., GOOFI - A generic fault injection tool Proc. DSN'01, Gothenburg, Sweden, 2001, pp. 83-88Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.-C., Laprie, J.-C., Martins, E., Powell, D., Fault injection for dependability Validation - A methodology and some applications (1990) IEEE Trans. on Sw. Eng., 16 (2), pp. 166-182. , FebAvresky, D.R., Tapadiya, P.K., A method for developing a software-based fault injection tool (1995), Technical Report, Department of Computer Science, Texas A&M University, n. 95-021Carreira, J., Madeira, H., Silva, J.G., Xception: A software fault injection and monitoring in processor functional units 5th DCCA, Urbana-Champaign, Illinois, USA, 1995, pp. 135-149Chiba, S., Javassist - A reflection-based programming wizard for Java Proc. of the Workshop on Reflective Programming in C++ and Java, Vancouver, Canada, 1998Hsueh, M.C., Tsai, T.K., Iyer, R.K., Fault injection techniques and tools (1997) IEEE Computer, pp. 75-82. , Apr/(2001) AP-485 Application Note: Intel Processor Identification and the CPUID Instruction, , Intel Corporation.Mt. Prospect, IL, USA, Feb/Leme, N.G.M., Martins, E., Rubira, C.M.F., A software fault injection pattern system (2002), Technical Report on Institute of Computing, UnicampLeme, N.G.M., (2001) A Software Fault Injection Pattern System, , Master Dissertation, Institute of Computing, Unicamp, Brasil, August/(in Portuguese)Leske, M.M.B., Martins, E., Using compile-time reflection to implement a fault injection tool 2nd WTF: Curitiba, PR, Brasil, July, 15-16, 2000, pp. 112-117. , (in Portuguese)Madeira, H., Costa, D., Vieira, M., On the emulation of software faults by software fault injection Proc. DSN, New York, USA, 2000, pp. 417-426Maes, P., Concepts and experiments in computational reflection Proc. OOPSLA'87, 1987, pp. 147-155Martins, E., Rosa, A., A fault injection approach based on reflective programming Proc. DSN, New York, USA, 2000, pp. 407-416Schmidt, D.C., Using design patterns and frameworks to develop object-oriented communication software OOPSLA'98, Vancouver, Canada(1997) Java Native Interface Specification, , Sun Microsystems, Inc.Sun Microsystems, Inc, Palo Alto, CA, USA. Dec/(1999) Java Remote Method Invocation Specification, , Sun Microsystems, Inc.Sun Microsystems, Inc, Palo Alto, CA, USA. Dec/Voas, J.M., McGraw, G., (1998) Software Fault Injection. Inoculating Programs Against Errors, , John Wiley & Son

An Architectural-level Exception-handling System For Component-based Applications

Component-based software systems built out of reusable software components are being used in a wide range of applications which have high dependability requirements. In order to accomplish the required levels of dependability, it is necessary to incorporate into these complex systems means for to cope with software faults. Exception handling is a well-known technique for adding forward error recovery to software systems supported by various mainstream programming languages. However, exception handling for component-based applications at the architectural level introduces new challenges which are not addressed by traditional exception handling systems, such as unavailability of source code, specially when off-the-shelf components are employed. In this paper, we present an exception handling system which adds fault tolerance to component-based systems at the architectural level. Our solution considers issues which are specific to component-based applications, such as unavailability of source code. We also present a framework which implements the proposed exception handling system for applications built using the C2 architectural style. © Springer-Verlag Berlin Heidelberg 2003.2847321340Anderson, T., Lee, P.A., (1990) Fault Tolerance: Principles and Practice, 2nd Edition, , Prentice-HallBrown, A.W., Wallnau, K.C., The Current State of CBSE (1998) IEEE Software, 15 (5), pp. 37-46. , IEEE Computer Society PressPaul, C., (1996) Clements and Linda Northrop: Software Architecture: An Executive Overview, , Technical Report CMU/SEI-96-TR-003. Software Engineering Institute, Carnegie Mellon UniversityCook, J.E., Dage, J.A., Highly Reliable Upgrading of Components (1999) Proceedings of the 21st International Conference on Software Engineering, pp. 203-212Cristian, F., Exception Handling (1989) Dependability of Resilient Computers, , T. Anderson (ed.): BSP Professional BooksDashofy, E.M., Medvidovic, N., Taylor, R.N., Using Off-The-Shelf Middleware to Implement Connectors in Distributed Software Architectures (1999) Proceedings of the 21st International Conference on Software Engineering (ICSE '99), pp. 3-12Garcia, A., Beder, D., Rubira, C., An Exception Handling Mechanism for Developing Dependable Object-Oriented Software Based on a Meta-Level Approach (1999) Proceedings of the 10th International Symposium on Software Reliability Engineering - ISSRE'99, pp. 52-61. , IEEE Computer Society PressGarcia, A., Rubira, C., Romanovsky, A., Xu, J., A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software (2001) Journal of Systems and Software, 59 (2), pp. 197-222. , ElsevierGarlan, D., Monroe, R.T., Wile, D., Acme: Architectural Description of Component-Based Systems (2000) Foundations of Component -Based Systems, pp. 47-67. , Gary T. Levens and Murali Sitaraman (eds.): Cambridge University PressGoodenough, J.B., Exception Handling: Issues and a Proposed Notation (1975) Communications of the ACM, 18 (12), pp. 683-696. , ACM Press, New York, NYGosling, J., Joy, B., Steele, G., (1996) The Java Language Specification, , Addison-WesleyGuerra, P., Rubira, C., De Lemos, R., An Idealized Fault-Tolerant Architectural Component (2002) Proceedings of the 24th International Conference on Software Engineering - Workshop on Architecting Dependable SystemsGuerra, P.A.C., Rubira, C.M.F., De Lemos, R., A Fault-Tolerant Architecture for Component-Based Software Systems (2003) Lecture Notes in Computer Science, , R. de Lemos and C. Gracek and A. Romanosvsky (eds.): Architecting Dependable Systems. to appear. Springer-Verlag, Berlin Heidelberg New YorkGuerra, P., Rubira, C., Romanovsky, A., De Lemos, R., Integrating COTS Software Componentes into Dependable Software Architectures (2003) Proceedings of the 6th International Symposium on Object-Oriented Real-Time Distributed Computing, , IEEE Computer Society PressIssarny, V., Banatre, J.P., Architecture-Based Exception Handling (2001) Proceedings of the 34th Annual Hawaii International Conference on System Sciences, , IEEE Society PressKiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Lingtier, J., Irwin, J., Aspect-Oriented Programming (1997) Lecture Notes in Computer Science, 1241. , Proceedings of the European Conference on Object-Oriented Programming. Springer-Verlag, Berlin Heidelberg New YorkKoening, A., Stroustrup, B., Exception Handling for C++ (1990) Jornal of Object-Oriented Programmings, 3 (2), pp. 16-33Lacourte, S., Exceptions in Guide, an Object-Oriented Language for Distributed Applications (1991) Lecture Notes in Computer Science, 512, pp. 268-287. , Springer-Verlag, Berlin Heidelberg New YorkMaes, P., Concepts and Experiments in Computational Reflection (1987) ACM SIGPLAN Notices, 22 (12), pp. 147-155. , ACM PressMedvidovic, N., Oreizy, P., Taylor, R.N., Reuse of Off-the-Shelf Components in C2-Style Architectures (1997) Proceedings of the 1997 Symposium on Software Reusability, pp. 190-198Rakic, M., Medvidovic, N., Increasing the Confidence in Off-the-Shelf Components: A Software Connector-Based Approach (2001) Proceedings of the 2001 Symposium on Software Reusability, pp. 11-18Saridakis, T., Issarny, V., (1999) Fault-Tolerant Software Architectures, , Technical Report 3350. INRIASloman, M., Kramer, J., (1987) Distributed Systems and Computer Networks, , Prentice HallSprott, D., Componentizing the Enterprise Application Packages (2000) Communications of the ACM, 43 (4), pp. 63-69. , ACM Press, New York, NYStavridou, V., Riemenschneider, A., Provably Dependable Software Architectures (1998) Proceedings of the Third ACM SIGPLAN International Software Architecture Workshop, pp. 133-136. , ACM Press(2002) Enterprise Javabeans Specification v2.1, , http://java.sun.com/products/ejb/, Proposed Final DraftTaft, S.T., Duff, R.A., Ada 95 Reference Manual: Language and Standard Libraries, International Standard Iso/Iec 8652:1995(e) (1997) Lecture Notes in Computer Science, 1246. , Springer-Verlag, Berlin Heidelberg New YorkTaylor, R.N., Medvidovic, N., Anderson, K.M., Whitehead Jr., E.J., Robbins, J.E., A Component- and Message- Based Architectural Style for GUI Software (1995) Proceedings of the 17th International Conference on Software Engineering, pp. 295-304ArchStudio 3.0, , http://www.isr.uci.edu/projects/archstudio, Homepag

Explicit Exception Handling Variability In Component-based Product Line Architectures

Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a software product line (SPL), this separation of concerns is also important for designing software variabilities related to different exception handling strategies, such as the choice of different handlers depending on the set of selected features. This paper presents a method for refactoring object-oriented product line architecture in order to separate explicitly their normal and exceptional behaviour into different software components. The new component-based software architecture includes variation points related to different choices of exception handlers that can be selected during product instantiations, thus facilitating the evolution of the exceptional behaviour. The feasibility of the proposed approach is assessed through a SPL of mobile applications. Copyright 2008 ACM.4754Atkinson, C., (2002) Component-based Product Line Engineering with UML, , Addison-WesleyBass, L., Clements, P., Kazman, R., (1997) Software Architecture in Practice, , Addison-Wesley Professional, DecemberP. H. S. Brito, C. R. Rocha, F. Castor Filho, E. Martins, and C. M. F. Rubira. A method for modeling and testing exceptions in component-based software development. In Proc. of the 2nd Latin American Symposium on Dependable Computing (LADC 2005), LNCS 3747, pages 61-79, 2005Buschmann, F., (1996) Pattern-oriented software architecture: A system of patterns, , John Wiley & Sons, IncCacho, N., Filho, F.C., Garcia, A., Figueiredo, E., Ejflow: Taming exceptional control flows in aspect-oriented programming (2008) 7th Int. Conf. on Aspect-Oriented Software Development (AOSD'08), pp. 72-83Cheesman, J., Daniels, J., (2000) UML Components, , Addison-WesleyClements, P., Northrop, L., (2002) Software Product Lines: Practices and Patterns, , Addison-WesleyCristian, F., Exception handling (1989) Dependability of Resilient Computers, pp. 68-97. , T. Anderson, editor, Blackwell Scientific PublicationsFerber, S., Haag, J., Savolainen, J., Feature interaction and dependencies: Modeling features for reengineering a legacy product line (2002) LNCS, 2379, pp. 37-60. , Proc. of the Second International Software Product Lines Conference SPLCFigueiredo, E., Evolving software product lines with aspects: An empirical study on design stability (2008) ICSE '08: Proc. of the 30th international conference on Software engineering, pp. 261-270Filho, F.C., Guerra, P.A.D.C., Pagano, V.A., Rubira, C.M.F., A systematic approach for structuring exception handling in robust component-based software (2005) Journal of the Brazilian Computer Society, 10 (3), pp. 5-19Gamma, E., Helm, R., Johnson, R., Vlissides, J., (1995) Design Patterns: Elements of Reusable Software Systems, , Addison-WesleyGayard, L.A., Rubira, C.M.F., de Castro Guerra, P.A., COSMOS*: A COmponent System MOdel for Software Architectures (2008), Technical Report IC-08-04, FebGray, J., Reuter, A., (1993) Transaction Processing: Concepts and Techniques, , Morgan KaufmannKruchten, P., Obbink, J.H., Stafford, J.A., The past, present, and future for software architecture (2006) IEEE Software, 23 (2), pp. 22-30Lippert, M., Lopes, C.V., A study on exception detection and handling using aspect-oriented programming (2000) Proc. of the 22nd international conference on Software engineering (ICSE'00), pp. 418-427Parnas, D.L., Würges, H., Response to undesired events in software systems (1976) Proceedings of the 2nd International Conference on Software Engineering, pp. 437-446Robillard, M.P., Murphy, G.C., Designing robust java programs with exceptions (2000) SIGSOFT Softw. Eng. Notes, 25 (6), pp. 2-10Szyperski, C., (2002) Component Software: Beyond Object-Oriented Programming, , ACM Press and Addison-Wesley, New York, USA, second edition edition, NovemberR. T. Tomita, F. Castor Filho, P. A. de C. Guerra, and C. M. F. Rubira. Bellatrix: An environment with arquitectural support for component-based development (in portuguese). In Proc. of the IV Brazilian Workshop on Component-Based Development, pages 43-48, 200

Architecture-centric Fault Tolerance With Exception Handling

When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is inevitable the occurrence of architectural mismatches related to assumptions in the failure behaviours. These mismatches if not prevented during system design have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that transform an existing untrusted software element into an idealised fault-tolerant architectural element. The proposed rigorous approach relies on a formal representation for analysing exception propagation, and verifying important dependability properties. Beyond this, the formal models are also used for generating unit and integration test cases that would be used for validating the final software product. The feasibility of the proposed approach was evaluated on an embedded critical case study. © Springer-Verlag Berlin Heidelberg 2007.4746 LNCS7594Abrial, J.-R., (1996) The B-book: Assigning programs to meanings, , Cambridge University Press, New YorkAmnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P.R., David, A., Fehnker, A., Hune, T., Yi, W., Uppaal - Now, Next, and Future (2001) LNCS, 2067, pp. 100-125. , Cassez, F, Jard, C, Rozoy, B, Ryan, M, eds, MOVEP 2000, Springer, HeidelbergAnderson, T., Lee, P.A., (1981) Fault Tolerance: Principles and Practice, , Prentice-Hall, Englewood CliffsBass, L., Clements, P.C., Kazman, R., (2003) Software Architecture in Practice, , 2nd edn. Addison-Wesley, ReadingBertolino, A., Marchetti, E., Muccini, H.: Introducing a reasonably complete and coherent approach for model-based testing. Electr. Notes Theor. Comput. Sci. 116, 85-97 (2005)Binder, R.V., (1999) Testing object-oriented systems: Models, patterns, and tools, , Addison-Wesley Longman Publishing Co, Inc, Redwood City, CA, USABrito, P.H.S., de Lemos, R., Martins, E., Rubira, C.M.F., Verification and validation of a fault-tolerant architectural abstraction (2007) DSN Workshop on Architecting Dependable Systems (WADS, , Edinburgh, Scotland, UK Accepted for publicationBrookes, S.D., Hoare, C.A.R., Roscoe, A.W., A theory of communicating sequential processes (1984) J. ACM, 31 (3), pp. 560-599Castor Filho, F., Cacho, N., Figueiredo, E., Ferreira, R., Garcia, A., Rubira, C.M.F., Exceptions and aspects: The devil is in the details (2006) Proceedings of the 14th ACM SIGSOFT FSE, pp. 152-162. , NovemberCastor Filho, F., da Silva Brito, P.H., Rubira, C.M.F., Specification of exception flow in software architectures (2006) Journal of Systems and Software, , OctoberCastor Filho, F., de Castro Guerra, P.A., Rubira, C.M.F.: An architectural-level exception-handling system for component-based applications. In: de Lemos, R., Weber, T.S., Camargo Jr., J.B. (eds.) LADC 2003. LNCS, 2847, pp. 321-340. Springer, Heidelberg (2003)Clements, P., (2003) Documenting Software Architectures: Views and Beyond, , Addison-Wesley, ReadingCristian, F., Exception handling (1989) Dependability of Resilient Computers, pp. 68-97. , Blackwellda Silva Brito, P.H., de Lemos, R., Filho, F.C., Rubira, C.M.F., Architecturecentric fault tolerance with exception handling (2007), Technical Report IC-07-04. State University of Campinas FebruaryBrito, P.H.S., Rocha, C.R., Castor Filho, F., Martins, E., Rubira, C.M.F.: A method for modeling and testing exceptions in component-based software development. In: Maziero, C.A., Silva, J.G., Andrade, A.M.S., Assis Silva, F.M.d. (eds.) LADC 2005. LNCS, 3747, pp. 61-79. Springer, Heidelberg (2005)de Castro Guerra, P.A., Rubira, C., de Lemos, R., A fault-tolerant software architecture for component-based systems (2003) LNCS, 2677, pp. 129-149. , de Lemos, R, Gacek, C, Romanovsky, A, eds, Architecting Dependable Systems, Springer, Heidelbergde Lemos, R., de Castro Guerra, P.A., Rubira, C.M.F., A fault-tolerant architectural approach for dependable system (2006) IEEE Software, 23 (2), pp. 80-87McMillan, K.L., The SMV system (1992), Technical Report CMU-CS-92-131, Carnegie Mellon UniversityGray, J., Reuter, A., (1993) Transaction Processing: Concepts and Techniques, , Morgan Kaufmann, San FranciscoIssarny, V., Banatre, J.P., Architecture-based exception handling (2001) Proceedings of the 34th Annual Hawaii International Conference on System SciencesJackson, D., Alloy: A lightweight object modelling notation (2002) Software Engineering and Methodology, 11 (2), pp. 256-290Jackson, D., Schechter, I., Shlyahter, H., Alcoa: The alloy constraint analyzer (2000) ICSE '00: Proceedings of the 22nd international conference on Software engineering, pp. 730-733. , ACM Press, New YorkLee, P.A., Anderson, T., Fault Tolerance: Principles and Practice (1990) Dependable computing and fault-tolerant systems, , 2nd edn, Springer, Berlin, New YorkLeuschel, M., Butler, M.J.: Prob: A model checker for b. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, 2805, pp. 855-874. Springer, Heidelberg (2003)Parnas, D.L., Würges, H., Response to undesired events in software systems (1976) Proceedings of the 2nd International Conference on Software Engineering, pp. 437-446. , San Francisco, USA, pp, OctoberRandell, B., System structure for software fault tolerance (1975) IEEE Transactions on Software Engineering, 1 (2), pp. 221-232Reimer, D., Srinivasan, H., Analyzing exception usage in large java applications (2003) LNCS, 2743. , Cardelli, L, ed, ECOOP 2003, Springer, HeidelbergSchneider, S., Treharne, H., Communicating b machines (2002) LNCS, 2272, pp. 416-435. , Bert, D, Bowen, J.P, Henson, M.C, Robinson, K, eds, B 2002 and ZB 2002, Springer, HeidelbergSloman, M., Kramer, J., (1987) Distributed systems and computer networks, , Prentice Hall International (UK) Ltd, Hertfordshire, UKTaylor, R.N., Medvidovic, N., Anderson, K., Whitehead, J.E.J., Robbins, J., A component- and message- based architectural style for GUI software (1995) Proceedings of the 17th International Conference on Software Engineering, pp. 295-304. , AprilWeimer, W., Necula, G., Finding and preventing run-time error handling mistakes (2004) Proceedings of OOPSLA, pp. 419-433. , Vancouver, Canada, pp, Octobe

A Fault-tolerant Software Architecture For Cots-based Software Systems

This paper considers the problem of integrating Commercial off-the-shelf (COTS) components into systems with high dependability requirements. Such components are built to be reused as black boxes that cannot be modified. The system architect has to rely on techniques that are external to the component for resolving mismatches between the services required and provided that might arise in the interaction of the component and its environment. The paper puts forward an approach that employs the layer-based C2 architectural style for structuring error detection and recovery mechanisms to be added to the component during system integration. © 2003 ACM.375378Anderson, T., Lee, P.A., (1981) Fault Tolerance: Principles and Practice, , Prentice-HallDeLine, R., A Catalog of Techniques for Resolving Packaging Mismatch Proc. 5th Symposium on Software Reusability. Los Angeles, CA. May 1999, pp. 44-53Garlan, D., Allen, R., Ockerbloom, J., Architectural mismatch: Why reuse is so hard (1995) IEEE Software, 12 (6), pp. 17-26. , NovemberGuerra, P.A.C., Rubira, C.M.F., De Lemos, R., A Fault-Tolerant Architecture for Component-Based Software Systems (2003) LNCS, 2677, pp. 175-194. , R. de Lemos, C. Gacek, A. Romanovsky (Eds). Architecting Dependable Systems. Springer VerlagGuerra, P.A.C., Rubira, C.M.F., Romanovsky, A., De Lemos, R., Integrating COTS Software Componentes into Dependable Software Architectures Proc. 6th IEEE ISORC'2003, Hokkaido, Japan, 2003, pp. 139-142Lemos, R., Gacek, C., Romanovsky, A., Tolerating Architectural Mismatches (2003) LNCS, 2677, pp. 175-194. , R. de Lemos, C. Gacek, A. Romanovsky (Eds). Architecting Dependable Systems. Springer VerlagLima Filho, F.J.C., Guerra, P.A.C., Rubira, C.M.F., FaTC2: An Object-Oriented Framework for Developing Fault-Tolerant Component-Based Systems Proc. ICSE 2003 Workshop on Architecting Dependable Systems, Portland, USA, 2002, pp. 13-18Oberndorf, P., Wallnau, K., Zaremski, A.M., Product Lines: Reusing Architectural Assets within an Organisation (1998) Software Architecture in Practice, pp. 331-344. , Eds. L. Bass, P. Clements, R. Kazman. Addison-WesleyPopov, P., Riddle, S., Romanovsky, A., Strigini, L., On Systematic Design of Protectors for Employing OTS Items Proc. 27th Euromicro Conference. Warsaw, Poland, 4-6 September, 2001, pp. 22-29Saridakis, T., Issarny, V., Developing Dependable Systems using Software Architecture (1999) Proc. 1st Working IFIP Conf. on Software Architecture, pp. 83-104. , FebruarySotirovski, D., Towards Fault-Tolerant Software Architectures (2001) Working IEEE/IFIP Conference on Software Architecture, pp. 7-13. , Eds. R. Kazman, P. Kruchten, C. Verhoef, H. Van Vliet, Los Alamitos, CA, USATaylor, R.N., Medvidovic, N., Kenneth, M., Anderson, James Whitehead Jr., E., Bobbins, J.E., Nies, K.A., Dubrow, D.L., A component- And message-based architectural style for gui software (1996) IEEE Transactions on Software Engineering, 22 (6), pp. 390-40